Search results for "Pascal"

Hits ?▲	Authors	Title	Venue	Year	Link
15	A. Dreiheller, B. Mohr, M. Moerschbacher	Programming pascal with physical units.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
15	David V. Moffat	Generic data structures in UCSD pascal.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
15	David A. Joslin	Extended pascal - illustrative features.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
15	Piotr Rudnicki, Wlodzimierz Drabent	Erratum: Proving Properties of Pascal Programs in MIZAR 2.	Acta Informatica	1986	DBLP DOI BibTeX RDF
15	A. Parrilla, A. Domenech, Enrique Querol	A Pascal microcomputer program for prediction of protein secondary structure and hydropathic segments.	Comput. Appl. Biosci.	1986	DBLP DOI BibTeX RDF
15	Leonard Goodwin, Mohammad Sanati	Learning Computer Programming Through Dynamic Representation of Computer Functioning: Evaluation of a New Learning Package for Pascal.	Int. J. Man Mach. Stud.	1986	DBLP DOI BibTeX RDF
15	Alex M. Andrew	Pasro: Pascal For Robots, by C. Blume and W. Jakob Springer, Berlin, 1985, viii + 133 pp. (DM 62).	Robotica	1986	DBLP DOI BibTeX RDF
15	Adolfo Steiger-Garção, Luis M. Camarinha-Matos	Concurrent Pascal as a robot level language - a suggestion.	Robotica	1986	DBLP DOI BibTeX RDF
15	M. Howard Williams, G. Chen	Translating Pascal for Execution on a Prolog-Based System.	Comput. J.	1986	DBLP DOI BibTeX RDF
15	Roy D. Dowsing, R. Elliott	Programming a Bounded Buffer Using the Object and Path Expression Constructs of Path Pascal.	Comput. J.	1986	DBLP DOI BibTeX RDF
15	A. N. Walker	The Ilem Project: Pascal to Algol in Easy Stages I: Outward Bound.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
15	I. A. Horton, Stephen J. Turner	Using Coroutines in Pascal.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
15	Kenneth Forsythe, Stan Matwin	Copying of Dynamic Structures in a Pascal Environment.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
15	Ken-Chih Liu	A String Pattern Matching Extension to Pascal and Some Comparisons with SNOBOL4.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
15	Roy D. Dowsing, M. T. Sanderson	Writing Concurrent Assemblers-A Case Study in Path Pascal.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
15	Jim Welsh, Atholl Hay	A Model Implementation of Standard Pascal		1986	RDF
15	Brian A. Malloy, Mary Lou Soffa	SIMCAL: the merger of Simula and Pascal.	WSC	1986	DBLP DOI BibTeX RDF
15	Claude C. Barnett	Simulation in Pascal with micro PASSIM.	WSC	1986	DBLP DOI BibTeX RDF
15	Andrew F. Seila	Discrete event simulation in Pascal with SIMTOOLS.	WSC	1986	DBLP DOI BibTeX RDF
15	William G. Bulgren, Earl J. Schweppe, Tim Thurman	An improved introduction to computing emphasizing the development of algorithms and using the Apple Macintosh Pascal.	SIGCSE	1986	DBLP DOI BibTeX RDF
15	Nancy Cunniff, Robert P. Taylor, John B. Black	Does programming language affect the type of conceptual bugs in beginners' programs? A comparison of FPL and Pascal.	CHI	1986	DBLP DOI BibTeX RDF
15	Kenneth I. Magel	Interfacing Prolog to Pascal.	FJCC	1986	DBLP BibTeX RDF
15	Dieter Armbruster	A Polynomial Determination of the Most Recent Property in Pascal-Like Programs.	FJCC	1986	DBLP BibTeX RDF
15	Barbara Moos	Konzipierung und Entwicklung eines PASCAL-Programmsystems zur quantitativen Röntgenfluoreszenzanalyse mit der Fundamental-Parameter-Methode.		1986	RDF
15	Klaus Bothe	Ein algorithmisches Interface für PASCAL-Compiler: Compiler-Portabilität durch Modularisierung.		1986	RDF
15	Piotr Rudnicki	On the organization of Pascal blocks.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	David Joslin	Extensions in Pascal implementations.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	Ludovít Molnár, Pavol Návrat, Jirí Safarík	The programming language Pascal (in teaching perspective): take it or leave it.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	Ivan Tomek, Tomasz Müldner	A CAI implementation of Pascal.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	Ian D. Cottam	Extending Pascal with one-entry/multi-exit procedures.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	Jan E. Jonak	Pascal and comms programming.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	Thomas N. Turba	The Pascal exception handling proposal.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
15	James C. Spohrer, Elliot Soloway, Edgar Pope	A Goal/Plan Analysis of Buggy Pascal Programs.	Hum. Comput. Interact.	1985	DBLP DOI BibTeX RDF
15	Piotr Rudnicki, Wlodzimierz Drabent	Proving Properties of Pascal Programs in MIZAR 2.	Acta Informatica	1985	DBLP DOI BibTeX RDF
15	John Aldridge	Discrete optimization algorithms (with pascal programs): Maciej M Syslo, Nasingh Deo and Janusz S Kowalik, Prentice-Hall, Englewood Cliffs, NJ, USA (1983) £41.20 pp 542.	Microprocess. Microsystems	1985	DBLP DOI BibTeX RDF
15	Bill Bateson	PASCAL for FORTRAN programmers: Robert Weiss and Charles Seiter, Addison-Wesley, Wokingham, UK £15.50 pp 237.	Microprocess. Microsystems	1985	DBLP DOI BibTeX RDF
15	Ariel Pashtan	Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations.	IEEE Trans. Software Eng.	1985	DBLP DOI BibTeX RDF
15	DeLos F. DeTar	Pascal for FORTRAN programmers: By Robert Weiss and Charles Seiter, Addison-Wesley.	Comput. Chem.	1985	DBLP DOI BibTeX RDF
15	Klaus Däßler	Pascal - Zustand und Normung - Die Stellungnahme.	Inform. Spektrum	1985	DBLP BibTeX RDF
15	Madeleine Sparks, Julian R. Gallop	Implementations using GKS Pascal Binding Appeal for Information.	Comput. Graph. Forum	1985	DBLP DOI BibTeX RDF
15	M. Howard Williams, G. Chen	Restructuring Pascal Programs Containing Goto Statements.	Comput. J.	1985	DBLP DOI BibTeX RDF
15	R. E. M. Cooper, Bruce J. McKenzie, R. Harries	Extensions to a Microcoded Pascal Compiler.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Derek Partridge	Specifications and an Implementation of the Type-ambiguity Problem in Pascal.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Chris R. Jesshope, M. J. Crawley, G. L. Lovegrove	An Intelligent Pascal Editor for a Graphical Oriented Workstation.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Robert D. Tennent	A Comparison of the ANSI and ISO Pascal Word Standards.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Neil H. White, Keith H. Bennett	PRTDS - A Pascal Run-Time Diagnostics System.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Neil H. White, Keith H. Bennett	Run-time Diagnostics in Pascal.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Richard A. Kemmerer, Steven T. Eckman	UNISEX: A UNIX-based Symbolic EXecutor for Pascal.	Softw. Pract. Exp.	1985	DBLP DOI BibTeX RDF
15	Per Brinch Hansen	Brinch Hansen on Pascal Compilers		1985	RDF
15	Jürgen Wolff von Gudenberg	PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
15	Jürgen Wolff von Gudenberg	Floating-Point Computation in PASCAL-SC with Verified Results.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
15	Howard Trickey	Compiling PASCAL programs into silicon.		1985	RDF
15	Dieter Armbruster	Entscheidbarkeit und Bestimmung der Rekursivität von Prozeduren in Pascal-ähnlichen Programmen.		1985	RDF
15	Gang Chen 0030	A study of techniques for handling Pascal on a Prolog-like machine.		1985	RDF
15	Kenneth M. Zemrowski	Differences between ANS and ISO standards for Pascal: ambiguities clarified.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Karl Ludwig Pentzlin	An extension proposal for Pascal: simplifying assignments like "a : = a + 1;" by a "pronoun character".	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Ana Maria de Alencar Price	Defining dynamic variables and abstract data types in Pascal.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Herbert Mayer	Experiences porting Pascal source from a micro computer to a Vax.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Mukul Babu Agrawal, Vijay Kumar Garg	Dimensional analysis in Pascal.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Vijay Kumar Garg	Screen-oriented highlevel debugger (SHD) for Pascal.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	David Taylor	A portable pseudo-code for Pascal-like languages.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Jürgen F. H. Winkler	Some improvements of ISO-Pascal.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Hausi A. Müller	Differences between Modula-2 and Pascal.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	R. B. Hunter	A system for writing Pascal programs interactively.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Jürgen F. H. Winkler	Some improvements of ISO-Pascal.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Louis B. Rall	Differentiation in PASCAL-SC: type GRADIENT.	ACM Trans. Math. Softw.	1984	DBLP DOI BibTeX RDF
15	R. R. Joshi, Hema Arunachalam	GRASP--A 3D graphics system for Pascal users.	Comput. Graph.	1984	DBLP DOI BibTeX RDF
15	Ernst-Rüdiger Olderog	Correctnes of Programs with Pascal-Like Procedures without Global Variables.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
15	Arthur C. Fleck	A Proposal for Comparison of Types in Pascal and Associated Semantic Models.	Comput. Lang.	1984	DBLP DOI BibTeX RDF
15	Antonio Kung, Michael Ian Thomas	Applying a generalized host/target concept for developing subsystems in PASCAL.	ACM SIGSOFT Softw. Eng. Notes	1984	DBLP DOI BibTeX RDF
15	Vijay Kumar Garg	Screen-oriented highlevel debugger(SHD) for PASCAL.	ACM SIGSOFT Softw. Eng. Notes	1984	DBLP DOI BibTeX RDF
15	A. H. G. El-Dhaher, T. S. Hassan, A. J. Ahmed	Linking assembly code to PASCAL programs for microprocessors.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
15	P. J. Russell, Richard E. Crandall, R. Feinbaum	GELYSIS: Pascal-implemented analysis of one-dimensional electrophoresis gels.	Nucleic Acids Res.	1984	DBLP DOI BibTeX RDF
15	Bruno Malthiery, Bernard Bellon, Dominique Giorgi, Bernard Jacq	Apple II PASCAL programs for molecular biologists.	Nucleic Acids Res.	1984	DBLP DOI BibTeX RDF
15	Paul A. Bailes	A Rational Pascal.	Aust. Comput. J.	1984	DBLP BibTeX RDF
15	Ted G. Lewis	"On selecting an Implementation Language: C or Pascal?" Draws Comments.	IEEE Softw.	1984	DBLP DOI BibTeX RDF
15	Mel Slater	GKS in Pascal.	Comput. Graph. Forum	1984	DBLP DOI BibTeX RDF
15	Zbigniew Ciechanowicz, A. C. De Weever	The 'Completeness' of the Pascal Test Suite.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Anders Ardö, Lars H. Philipson	Implementation of a Pascal Based Parallel Lanugage for a Mulitprocessor Computer.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	C. K. Yip	The Pascal Graphics System.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Paul A. Bailes, Antonio Salvadori	A Semantically-based Formatting Discipline for Pascal.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Brian W. Marsden	A STandard Pascal Event Simulation Package.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Bengt Nordström, Åke Wikström	The Design of an Interactive Program Development System for Pascal.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Massimo Ancona, Leila De Floriani, Gabriella Dodero, S. Mancosu	Integrating Library Modules into Pascal Programs.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Daniel R. Perkins, Dennis Volper	UCSD Pascal on the VAX, Portability and Performance.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Jon M. Kerridge, Dan Simpson	Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Jakob Karszt	Datenbank-Pascal - ein ausbaubares Datenbanksystem nach einem Entitiy-Relationship-Modell für Personal-Computer-Anwendungen.		1984	RDF
15	David C. Robbins	Engineering a high-capacity Pascal compiler for high performance.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
15	Andrew F. Seila	Discrete event simulation in pascal with SIMTOOLS.	WSC	1984	DBLP BibTeX RDF
15	John A. Quandt	Implementation of Operational Evaluation Modeling in Pascal.	WSC	1984	DBLP BibTeX RDF
15	William G. Frederick, Maynard J. Mansfield	A user-friendly shell and text editor for Pascal on the DEC VAX 11.	SIGCSE	1984	DBLP DOI BibTeX RDF
15	Klaus Bothe	An algorithmic interface structure for pascal compilers.	Symposium on Computation Theory	1984	DBLP DOI BibTeX RDF
15	Bernhard Hohlfeld	Programmverifikation in lauffähigen Pascal-Programmen.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
15	W. J. Rogers	A New Program Structure to Improve Accuracy and Readability of Pascal Software.	ICSE	1984	DBLP BibTeX RDF
15	Klaus Wiederänders	Konzeption eines portablen Sprachverarbeitungssystems für Sprachen der Pascal-Familie auf 8-Bit Mikrorechnern.		1984	RDF
15	Robert D. Tennent	An alternative to conformant-array parameters in Pascal.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
15	Jacques Calmet, Robert-Michel di Scala	Pascal as host language of computer algebra systems.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
15	Alan Burns 0001	Enhanced input/output on Pascal.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
15	David E. Boddy	Implementing data abstractions and monitors in UCSD Pascal.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
15	B. A. E. Meekings	Style analysis of Pascal programs.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF